Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 30-76
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 319-348
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 391-407
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 298-307
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 308-318
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 236-268
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 269-297
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 349-390
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 2-29
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 77-106
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 134-156
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 159-207
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 208-235
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 107-133
Journal of Logical and Algebraic Methods in Programming > 2017 > 86 > 1 > 408-424